Causal Type System for Ambient Movements

نویسنده

  • Torben Amtoft
چکیده

The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code. We present a type system for the calculus, parameterized by security constraints expressing where a given ambient may reside and where it may be dissolved. A subject reduction property then guarantees that a welltyped process never violates these constraints; additionally it ensures that communicating subprocesses agree on their “topic of conversation”. Based on techniques borrowed from finite automata theory, type checking of type-annotated processes is decidable. Under certain quite natural restrictions, type inference is also possible. The type system employs a notion of causality in that processes are assigned “behaviors”. This significantly increases the precision of the analysis and compensates for the lack of “co-capabilities” (an otherwise increasingly popular extension to the ambient calculus); also it allows an ambient to hold multiple topics of conversation.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Developing a Feature Extraction of Existing Structures Using an Ambient Vibration Test

The paper aims to extract the dynamic properties of existing structures without utilizing the analytical models. The ambient vibration testing could be used on any type of frame such as concrete, steel and masonry to investigate the structural vulnerability. The method could be the first stage and necessarily for the retrofit process. To achieve this aim, the ambient vibration testing can...

متن کامل

A Comparative Analysis of Contemporary Movements in Indonesia and the Islamic Revolution in Iran

Throughout history until today, the Islamic world has been witness to various movements which have been formed in response to special demands. The current article aims to address the similarities and differences between the political thought[1] of the Islamic Revolution of Iran and two movements in Indonesia namely the Nahdatul Ulama (NU) and the Muhammadiyah movements using a descriptive-compa...

متن کامل

Variations in sugarcane yield among farmers’ fields and their causal factors in Northeast Thailand

Information on variations in crop yield among farmer fields in a specific area and theircausal factors is important for efficiently targeting efforts to increase production of the crop inthe target area. This study determined the yield variations and their causal factors for sugarcanegrown in the service area of a sugar mill in Northeast Thailand. Two villages with the dominantsandy and clayey ...

متن کامل

Types for BioAmbients

The BioAmbients calculus is a process algebra suitable for representing compartmentalization, molecular localization and movements between compartments. In this paper we enrich this calculus with a static type system classifying each ambient with group types specifying the kind of compartments in which the ambient can stay. The type system ensures that, in a well-typed process, ambients cannot ...

متن کامل

Influence of Surfactant Type, Surfactant Concentration, and Salinity on Interfacial Tension of a Brine/Live Oil/Surfactant Fluid System: A Case Study of Iranian Asmari Oil Reservoir

The chemical surfactant flooding can mobilize the trapped oil by lowering the interfacial tension between oil and brine and in some cases altering the reservoir rock wettability. In this work, the effect of surfactants on oil/brine interfacial tension was experimentally investigated. First, the effect of surfactants concentration was surveyed. Afterwards, the effect of salinity on surfactant be...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2002